HNTags.com categorised stories from Hacker News (proof assistants)
Retrieval from: 2026-03-29 05:00:03.254545+00:00 to: 2026-03-29 05:07:46.470805+00:00
5.  Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
178  points by mean_mistreater | 5  comments | ai, proof assistants, mathematics

Incompetently cobbled together by paperstack